Rebase.Data.Functor.Contravariant.Compose