Sun Aug 6 17:57:10 PDT 2006 Manuel M T Chakravarty <chak at cse.unsw.edu.au>
* Make newtype Coercion eta-contract if the tails of lhs and rhs match up
Thu Aug 3 12:26:52 EDT 2006 kevind at bu.edu
M ./compiler/types/Coercion.lhs -4 +36
M ./compiler/types/TyCon.lhs -5 +13