1 2 3 4 5 6 7 8
abstract Literals = { cat S ; fun IsString : String -> S ; IsInteger : Int -> S ; IsFloat : Float -> S ; }