blob: 910d4c35e4fc4f23d1f4deb50a37cfae4df8168b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T12083a.hs:5:1: error:
• Illegal qualified type: Num a => a
Perhaps you intended to use RankNTypes or Rank2Types
• In the type synonym declaration for ‘Constrd’
T12083a.hs:9:26: error:
• Data constructor ‘ExistentiallyLost’ has existential type variables, a context, or a specialised result type
ExistentiallyLost :: forall u. TC u => u -> ExistentiallyLost
(Enable ExistentialQuantification or GADTs to allow this)
• In the definition of data constructor ‘ExistentiallyLost’
In the data type declaration for ‘ExistentiallyLost’
|