module M where

f = if True then do undefined else undefined