unique id for data types

Barney Hilken b.hilken at ntlworld.com
Wed Sep 19 07:49:30 EDT 2007

Ok, I'm stuck.

The Oleg stuff is great, and it looks like he did everything I've  
done long ago, without needing type functions or associated types.  
But I can't use the TTypeable stuff directly because you can't  
convert the "relational" style of Oleg's work (using functional  
dependencies) to the "functional" style I'm using (using type  
families). Rewriting all the basics in my style is no problem  
(especially as I only need a limited part of it) EXCEPT Derive  
depends on (at least the types of) Template Haskell, and TH can't  
define type family or associated type instances.

So I'm back where I started.


More information about the Glasgow-haskell-users mailing list