[Haskell-beginners] Maybe a -> Maybe b

PICCA Frederic-Emmanuel frederic-emmanuel.picca at synchrotron-soleil.fr
Fri Aug 25 13:06:01 UTC 2017


data Proxy a = Proxy a

exProxy::Functor f =>
     f (Proxy a) -> f a
exProxy = (un1 <$>)
    where un1 (Proxy a1) = a1


nice :)
‚Äč


More information about the Beginners mailing list