On Fri, Aug 26, 2005 at 08:27:43PM -0400, ChrisK wrote: > This is flexible, but the type annotation becomes unnatural, and the > error messages make C++ template error reporting look clear by > comparison. Are you getting 2MB long error messages from GHC? ;-> Best regards Tomasz