These sentences are nice, but I feel like more definitions and some re-ordering could make the document as a whole more meaningful. For example, Lift is define

These sentences are nice, but I feel like more definitions and some re-ordering could make the document as a whole more meaningful. For example, Lift is defined way before Functor, and fmap is never defined so I had no idea what Lift was about despite that nice concise sentence.