Data.Profunctor.Cayley
data
Cayley
f p a b