At 2001-10-04 00:36, Simon Peyton-Jones wrote: >It's also useful to be able to introduce >such empty types for phantom-type purposes, so GHC now lets you say > > data T > >and get a type T with no values. Yay! One more thing to cross off my [GHC] Haskell wish-list. Is this working in 5.02? It isn't in 5.00.2. -- Ashley Yakeley, Seattle WA