Fixed "apply" (equation)

Turns out all of its issues were due to a really stupid bug where the
return types of functions with empty bodies [as used in testing] were
automatically set to empty parametric types. Oops.