> import GADT
> import GShow (gshowExpr)

> main = print $ gshowExpr expr