Monads for natural language semantics · Study