{-# htermination undefined :: a #-}