Data.Profunctor.Strong

Strength

class Strong p

uncurry'

data Tambara p a b

tambara

untambara

data Pastro p a b

Costrength

class Costrong p

data Cotambara q a b

cotambara

uncotambara

data Copastro p a b