1/1: Building Linear (Linear.idr)
Main>  0 y : Nat
 1 x : Nat
------------------------------
this : Nat
Main>  1 y : Nat
 0 x : Nat
------------------------------
that : Nat
Main> Bye for now!