Rename class 'TypeNat' to 'NatI'.
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Thu, 27 Jan 2011 06:16:54 +0000 (22:16 -0800)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Thu, 27 Jan 2011 06:16:54 +0000 (22:16 -0800)
commit9b5f2e4d1dc9dc805bca8f95cf9d4788f1c8eefe
treede2d366b2de3354fb44d0d6101e7badc82985814
parentc428b5725b51d5e60a7c3216fc9084ba703760b8
Rename class 'TypeNat' to 'NatI'.

NatI is meant to suggest "implicit" natural number parameter,
or "introduction" for Nat.

I am not sure if this is a good idea, but the 'Type' part of the TypeNat
did not seem to convey any useful information.
compiler/prelude/PrelNames.lhs