Use default extensions (including NoImplicitPrelude)