This project is quite an instructive reference in a jungle of design decisions that need to be taken (PHOAS or not, etc.) in order to arrive at a working model of parametricity, thanks for writing it down.
However, I'm missing a data constructor for type application TApp. Was this a conscious omission?