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