Тип fmap в Functor: fmap :: Functor f => (a -> b) -> f a -> f b похоже, сначала примените функцию (a - ›b) к параметру f a, чтобы создать результат типа b, затем примените к нему f, и результат будет f b используя Maybe a ,...