Main> Couldn't parse any alternatives:
1: Expected 'case', 'if', 'do', application or operator expression.

(Interactive):1:4--1:5
 1 | :t (3 : Nat)
        ^
... (54 others)
Main> Expected string begin.

(Interactive):1:5--1:7
 1 | :cd ..
         ^^

Main> Expected string begin.

(Interactive):1:7--1:15
 1 | :load expected
           ^^^^^^^^

Main> 
Bye for now!
