Going over Applicative again
Implement trivial Identity monad