2 Jan
2012
2 Jan
'12
3:04 p.m.
On Mon, Jan 2, 2012 at 1:38 PM, Simon Peyton-Jones
· **If String is not a kind level synonym for [Char], maybe it should have a different name. For example, “foo” :: Label? Or Atom?
Or Symbol? The name is inspired by Ruby's :symbol notation. We could even use the same notation (seems unambiguous on the type level, no?). Even if we don't use the notation we could use the name. Sebastian