pandora-0.1.6: Pandora/Core/Functor.hs

module Pandora.Core.Functor (Variant (..), type (:.:)) where

data Variant = Co | Contra

infixr 0 :.:
type (:.:) t u a = t (u a)