
tcfail146.hs:7:22:
    Predicate `SClass a' used as a type
    In the type `SClass a'
    In the definition of data constructor `SCon'
    In the data type declaration for `SData'
