The typo fixes are good; but I see no reason to change these type names. More often than not, people write out the type of fmap as ... => (a -> b) -> f a -> f b (specifically with a,b,f); and it can be nice for these to line up, as they do at the moment.
The typo fixes are good; but I see no reason to change these type names. More often than not, people write out the type of
fmap
as... => (a -> b) -> f a -> f b
(specifically witha
,b
,f
); and it can be nice for these to line up, as they do at the moment.