Three package:express

The value 3 bound to the Int type encoded as an Expr.
> three
3 :: Int