{-# htermination elem :: () -> [()] -> Bool #-}