1 2 3 4 5 6 7 8 9
concrete LiteralsCnc of Literals = { lincat S = Str ; lin IsString x = x.s ++ "is string" ; lin IsInteger x = x.s ++ "is integer" ; lin IsFloat x = x.s ++ "is float" ; }