A sort of type checker for JavaScript functions.