Could you name me a few examples of monads? Describe its implementation sim more details.