--typecheck-only to just pass files to GHC for typechecking