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