Data.Functor.Contravariant.Composition
(<-$>)
(<-$$>)
(<-$$$>)
(<-$$$$>)
(<-$$$$$>)