Should be filled out. For now, take a link to the typeclassopedia

• https://www.fpcomplete.com/user/snoyberg/general-haskell/basics/functors-applicative-functors-and-monads