[Haskell-cafe] Lifted Spine View

[Andres Löh]

Hi there.

>    I tried to follow the program of the paper "Scrap your boilerpolate"
> Revolutions. Unfortunately,
> I found the program in the section lifted spine view does not compile in my
> GHC, could anybody
>  point out where I am wrong? Many Thanks
>
> My code is posted here http://hpaste.org/54357

You have to flip the two fields of (:->), i.e., the type has to be
first and the annotated term has to be second. This is because pattern
matching on GADTs and refinement is implicitly left-to-right in GHC.
The paper presents it the other way round and remarks on the flipped
order in a footnote near the beginning.

Cheers,
  Andres