testsuite/tests/typecheck/should_compile/T7541.hs


1
2
3
4
5
6
7
8
9

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE FlexibleContexts, Rank2Types #-}

module Test where

type Constrained x y r = (Eq x, Eq y) => x -> y -> r

f :: Constrained String String ()
f = undefined