module Main (main) where import FullBatteries (someFunc) main :: IO () main = someFunc