the MPTC Dilemma (please solve)

[Ross Paterson]

On Sun, Mar 19, 2006 at 11:25:44AM -0500, Manuel M T Chakravarty wrote:
> My statement remains:  Why use a relational notation if you can have a
> functional one?

I agree that functions on static data are more attractive than logic
programming at the type level.  But with associated type synonyms,
the type level is not a functional language but a functional-logic one.