'a'
'a' : Char
'c'
'\n'
'\''
'"'
'#'
'\\'
'"'
true
1
2
3
(λx. {? 1 when x is 'a' 
     ?})("Disco")
1:3:
  |
1 | ' a'
  |   ^
unexpected 'a'
expecting '''

' '
"Disco"
"Disco" : List(Char)
"Di sco"
"'"
"\n"
"'"
"a\na\a\a\""
"\\"
true
2
1
