Haskell - Is There a Variable?

Haskell is a Haskell programming language. There are no variables, just type classes and side effect context. Type class constraints say I don't care what you give me as long as I can call this interface on it. And then the Monad that gets returned or somehow expressed together.