fmap: typo fixed at the naturality section.