module Level1 where

l1 = undefined :: ()