SpuriousSuperclassConstraints
data
SomeType
f a