refactor: better name for function application
plus lose the type check; we are not that paranoid.