Derive Eq instance for the HieTypeFix type
We have instance Eq a => Eq (HieType a)
already.
This instance can be handy when we want to impement a function to find all
fromIntegral :: a -> a
using:
case ty of { Roll (HFunTy _ a b) -> a == b; _ -> False }