Monadic predicate calculus

ID: monadic-predicate-calculus

New to topics? Read the docs here!