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