为什么即使我不应用f参数，我也需要在fmap的定义中再次调用构造函数？

我不知道为什么fmap _ a = a下面是非法的。这是代码：

data Sum a b = First a | Second b

instance Functor (Sum a) where
  fmap f (Second b) = Second (f b)
  fmap _ (First a)  = First a
  fmap _ a          = a  -- Why can't I do this instead?

另一个问题是，这是否会影响性能，还是仅在编译时才会发生？