Control.Invertible.Monoidal.HList
hConsI
(>:*<)
class
HSequenceI
m a b