pandora-0.2.3: A box of patterns and paradigms
Pandora.Core.Transformation
type Natural t u = forall a. (Covariant t, Covariant u) => t a -> u a Source #
type (~>) t u = Natural t u infixr 0 Source #