blob: fe126f9f0b913a7d65a63044e0c667c82f4fae7c (
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
• 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’
|