Control.Invertible.BiArrow.Free
data
FreeA
p a b
nil
revinv
go