On Fri, Apr 11, 2014 at 12:50:45PM -0400, ke dou wrote:
> instance Coercible (MyOption a) where
>   type Return (MyOption a) = Prelude.Maybe a
>   toHaskell (Some a) = Prelude.Just a
>   toHaskell None = Prelude.Nothing

The basic issue has been solved in another thread, but wouldn't you
want this one to be something like this:

instance Coercible a => Coercible (MyOption a) where
    type Return (MyOption a) = Prelude.Maybe (Return a)
    toHaskell (Some a) = Prelude.Just (toHaskell a)
    toHaskell None = Prelude.Nothing

/M

--
Magnus Therning                      OpenPGP: 0xAB4DFBA4
email: magnus@therning.org   jabber: magnus@therning.org
twitter: magthe               http://therning.org/magnus

What gets measured, gets done.
     -- Tom Peters

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners