Yes, GHC accepts "X => Y => Z" and makes it "(X, Y) => Z". In fact, go wilder:

whee :: Show a => Eq a => a => Bool
whee x = x == x && null (show x)

It is valid and it means (Show a, Eq a) => a -> Bool. Try it!