More comments to illustrate how projections and type applications are supposed to interact.
More comments to illustrate how projections and type applications
are supposed to interact.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol