module restricted_existential_type

import StdString

:: List = Nil
        | E.e: Cons e List & toString e

instance toString List
where
    toString Nil = "[]"
    toString (Cons e l) = "["+++toString e+++":"+++toString l+++"]"

Start = toString (Cons 'a' (Cons 5 Nil))