{-# LANGUAGE NoImplicitPrelude #-} module Main (module X) where import MainLib as X (main)