[Haskell-cafe] Very freaky

[Dan Piponi]

On 7/10/07, Dan Piponi <dpiponi at gmail.com> wrote:
> On 7/10/07, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
> > But what does, say, "Maybe x -> x" say?

Silly me. You reversed the arrows and I copied you. (Could it be
something to do with the other conversation we were having?)

I meant to say:

So x -> Maybe x says that X implies "True or X". That's a valid
proposition and so there is a function x -> Maybe x.
--
Dan