1 2 3 4 5 6 7
module Foo1 where -- Variant: class used as data class SClass a where sFun :: a -> SData a data SData a = SCon (SClass a)