Generics.SOP.Sing
data SList
class SListI xs
type Sing
class SingI xs
data Shape
shape
lengthSList
lengthSing