Control.Natural

type f ~> g

data f :~> g