Text this: Monadic Intersection Types, Relationally, and Ordered.