Cascade-0.1.0.0: Playing with reified categorical composition
Cascade.Operators
(#) :: Category c => CascadeC c (t : ts) -> c t (Last (t : ts)) infixr 0 Source
(#~) :: Monad m => CascadeM m (t : ts) -> t -> m (Last (t : ts)) infixr 0 Source
(~#) :: Comonad w => CascadeW w (t : ts) -> w t -> Last (t : ts) infixr 0 Source