Generalize apply to the no forall case

Fixes #27