Patrik Eklund, Robert Helgesson: Composing Partially Ordered Monads. RelMiCS 2009: 88-102