SpuriousSuperclassConstraints

data SomeType f a