Monad - simple example definition

Combines the following concept.

1. Functor\

• Type constructor.\
• Value lifting.\
• class Functor f where\
  fmap :: (a -> b) -> (f a -> f b)\
  1. Bind\
• Create a functor then unwrap -> for example, flatMap in optional in Java8.