Haskell

what is | in this code?

    class (Monad m) => MonadState s m | m -> s where
        get :: m s
        put :: s -> m ()

Functional dependency.