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