Control.Natural

Newtype for a Natural Transformation

data f :~> g

Type Synonym for a Natural Transformation

type f ~> g

Conversion functions between the newtype and the synonym

run

nat

Class for Natural Transformations

class Transformation f g t