blob: 3bc040f45b208a8c5bb0d38fe05bd2f6a61b61bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T17131.hs:12:34: error: [GHC-83865]
• Couldn't match kind: TypeReps xs
with: '[LiftedRep]
Expected kind ‘TYPE ('TupleRep (TypeReps xs))’,
but ‘(# a #)’ has kind ‘TYPE ('TupleRep '[LiftedRep])’
The type variable ‘xs’ is ambiguous
• In the type ‘(# a #)’
In the type family declaration for ‘Tuple#’
NB: Type ‘Tuple#’ was inferred to use visible dependent quantification.
Most types with visible dependent quantification are
polymorphically recursive and need a standalone kind
signature. Perhaps supply one, with StandaloneKindSignatures.
|