Evaluating type expressions in GHCi

[Brent Yorgey]

On Tue, Sep 20, 2011 at 04:29:21PM -0700, J. Garrett Morris wrote:
> On Tue, Sep 20, 2011 at 3:44 PM, Simon Peyton-Jones
> <simonpj at microsoft.com> wrote:
> > What should the GHCi command be *called*?
> 
> :simplify or :simplifytype.  In GHCi at the moment, you could abbreviate
> that as short as :si.

IMO Simon's suggestion of something like :normalizetype or :normalize
or :normtype would be even better -- you could abbreviate it as just
:n .  It is also more accurate; the correct term for what the command
should do is in fact "normalize", and it may not in fact end up making
the type any simpler.

-Brent