This macro checks if some code can be parsed and typechecks ok
Typecheck code and fail at runtime if the code doesn't typecheck If the code doesn't parse there will be a compile-time error
alias for apply