Data.Profunctor.Strong
class Strong p
uncurry'
data Tambara p a b
tambara
untambara
data Pastro p a b
class Costrong p
data Cotambara q a b
cotambara
uncotambara
data Copastro p a b