Control.Natural

data f :~> g