blob: 68d88b8961f854ea1b4a05842a8f878b104dceaa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE ExistentialQuantification #-}
-- Existential context should quantify over some new type variables
--
-- Jan07: this is now fine, because we've lifted the restriction
-- that the context on a constructor should mention
-- existential type variables
module ShouldFail where
data S m t a = Ok a | Cont (M m t a)
data M m t a = Monad m => M { unM::(m (S m t a))}
|
