Answered Apply.hs
Answered Applicative.hs, Bind.hs