Data.Invertible.TypeCompose

toBi

fromBi