Triples vs Monads