[maths] add article on monads