at what stage can we be sure that PredTy's are gone?

[Adam Megacz]

Roman Leshchinskiy <rl at cse.unsw.edu.au> writes:
> However, coreView from types/Type.lhs expands one level of a type to
> the representation.

Ah, that worked perfectly.  Thank you!


> But note that equality predicates as also PredTys and they aren't
> removed by coreView.

I see.  Could you help me correlate EqPred with the System FC1 (Appendix
C) paper?  I've been working from the assumption that

   FunTy (EqPred t1 t2) t3

corresponds to the following

   (+>) t1 t2 t3

from the System FC (1) paper, Figure 7.  Is that correct?

  - a