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.
