Functor
Law
Proof
Identity
fmap id = id
Composition
fmap (f . g) = fmap f . fmap g
2022-04-19
stub