joint-0.1.1: Trying to compose non-composable
Control.Joint.Core
type (:.) t u a = t (u a) infixr 1 Source #
Functor composition
type (:=) t a = t a infixr 0 Source #
Functor's object
type (~>) t u = forall a. t a -> u a infixr 0 Source #
Natural transformation