{-# htermination id :: a -> a #-}