module Main (main) where import Lib (mainIO) import Premitive (ttest) main :: IO () main = mainIO