Beginning of an inference system for monads