25 Aug
2017
25 Aug
'17
9:06 a.m.
data Proxy a = Proxy a exProxy::Functor f => f (Proxy a) -> f a exProxy = (un1 <$>) where un1 (Proxy a1) = a1 nice :)