path: root/testsuite/tests/typecheck/should_compile/T20582.hs

{-# LANGUAGE QuantifiedConstraints #-}

module T20582 where

f :: (forall a. Ord (m a), forall a. Semigroup a => Eq (m a)) => m Int
f = f