{-# htermination isAlphaNum :: Char -> Bool #-}