Exceptions
Use simple Command GADT.