{-# htermination guard :: Bool -> [] () #-}
import Monad