From: dopefishh Date: Wed, 2 Nov 2016 08:50:23 +0000 (+0100) Subject: Merge pull request #3 from dopefishh/standard-maybe X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=HEAD;p=CleanReadLine.git Merge pull request #3 from dopefishh/standard-maybe Use Data.Maybe Maybe for compatibility --- 94dfcc25c243167e91044dcc169ecb28cd25c24f