On Wed, 24 Feb 2016, Chris Allen wrote: > You can't not-include the instances because we'll just end up with orphans so that's not cricket I think. We could define instance Impossible a => Functor ((,,) a b) where where Impossible is a non exported class.