[<<][meta_siso][>>][..]
Mon Aug 3 02:12:50 EDT 2015

lifting Ring over Sys

That seems to be the ultimate goal.


add' x y = add <$> x <*> y

*Lib> :t add'
add'
  :: (Applicative f, Ring m r t) => f (r t) -> f (r t) -> f (m (r t))

Trouble is that the last one should be:

m (f (r t))

That way (f (r .)) = (r' . ) ??




[Reply][About]
[<<][meta_siso][>>][..]