Data.Invertible.TypeCompose
toBi
fromBi