Thomas Davie wrote: > Because we consider that the Functor laws must hold for all values in the type (including bottom). This is not so for IO, which is an instance of Functor. "fmap id undefined" is not bottom. -- Ashley Yakeley