Dezi
is a datatype, not a typeclass. Types aren't "instances of Dezi
". Instead you might say something like
instance TestInterface a => TestInterface [a] where
testInt xs = Dezi3 $ map testInt xs
This reads like "to make a list of a
s an instance of TestInterface
, look up the instance for a
and use that."