FunctorCombo.Strict

data a :*! b

curry'

uncurry'

data a :+! b

either'