Monad - simple example definition Aug 13, 2017 loginacrocontext, email, display_nameacrocontext, first_name, last_name Combines the following concept. 1. Functor\ Type constructor.\ Value lifting.\ class Functor f where\ fmap :: (a -> b) -> (f a -> f b)\ Bind\ Create a functor then unwrap -> for example, flatMap in optional in Java8.