Is FPH implemented in GHC?

[Wolfgang Jeltsch]

Am Sonntag, 14. September 2008 16:11 schrieben Sie:
> | To implement all this stuff, I had to do quite a bit of code obfuscation.
> | That is, I introduced a lot of trivial functions only to give them an
> | explicit impredicative/rank 2 type signature.
>
> But impredicative is not the same as rank-2.  GHC has done higher-rank
> types for ages; but impredicative instantiation is a different story.  Are
> you sure that's the bit you need?  Can you give an example?
>
> Simon

Hello Simon,

I know that rank 2 is something different.  I need both, rank 2 and 
impredicativity.  I already mentioned the (impredicative) type
SSignal t (forall t'. SignalFun t' a).  The full type of my switch operator is 
SSignal t (forall t'. SignalFun t' a) -> SignalFun t a.

Some of the trivial functions, I mentioned above, have rank 2 types, some have 
impredicative types.  The latter ones typically have types of the form

    f (forall t. signal t a) -> f (forall t. signal' t a')

where f is some specific functor.

And as far as I understood, FPH brings advantages for both rank n and 
impredicativity.  Am I wrong at this point?

Best wishes,
Wolfgang