blob: e0ae55a50d4214e49f4ea133b4be384ef4572e81 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# OPTIONS_GHC -fno-warn-duplicate-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
|