Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail105.hs
1 {-# LANGUAGE ExistentialQuantification #-}
2
3 -- Existential context should quantify over some new type variables
4 --
5 -- Jan07: this is now fine, because we've lifted the restrction
6 -- that the context on a constructor should mention
7 -- existential type variables
8
9 module ShouldFail where
10
11 data S m t a = Ok a | Cont (M m t a)
12 data M m t a = Monad m => M { unM::(m (S m t a))}
13