Re: [Haskell-beginners] Maybe a -> Maybe b

25 Aug 2017


      data Proxy a = Proxy a

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


nice :)

PICCA Frederic-Emmanuel