Control.Natural

Type Synonym for a Natural Transformation

type f ~> g

Newtype for a Natural Transformation

data f :~> g

Class for Natural Transformations

class Transformation f g t