[Haskell-cafe] is Haskell missing a non-instantiating polymorphic case? (missing link added)

[Brandon Moore]

> From: Adam Megacz <megacz at cs.berkeley.edu>

>
> Hrm, it seems that I hit "send" instead of "save draft" when 
> shutting down my computer last night.
> 
> On 2011-10-22 22:48:55 -0700, Adam Megacz said:
>>  I've written up a short example of the problems that happen here:
> 
> Here is the link which was missing from that posting:
> 
> http://www.megacz.com/thoughts/polymorphic-case.html

It seems that StackOverflow post left out important details.
I think I've solved that one, but the problem there looks harder.

It sounds like the entire point of this is syntax representation?

If so, have you seen Conor McBride's recent post
http://www.e-pig.org/epilogue/?p=773
on troubles they ran into with a higher order term representation,
and a way to write first-order free name/bound index terms
with a syntax like

la $ \f -> la $ \x -> f (f x)

Brandon