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