module TopLevel (module Level1, module Level2.Level2) where

import Level1
import Level2.Level2

topLevelFun :: ()
topLevelFun = ()