monadic-semantic-calculus