module Level2.Level2 where

l2 = undefined :: ()