Standalone deriving is toplevel