Documentation
Type-level composition
(Functor f, Functor g) => Functor (:+: f g) | |
(Applicative f, Applicative g) => Applicative (:+: f g) |
Type-level composition
(Functor f, Functor g) => Functor (:+: f g) | |
(Applicative f, Applicative g) => Applicative (:+: f g) |