One Kind of Binding?

[countvajhula]

@samth

But you could not make point the constructor (because it's not a binding at phase 0 at all).

Would you mind elaborating on this example?