Proved fmap lemma