module Level1 where

level1Fun1 :: ()
level1Fun1 = ()

level1Fun2 :: ()
level1Fun2 = ()