blob: b2af8ab7b85dc066878b0351acb79711d2d815c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T17131.hs:12:34: error:
• Couldn't match kind: TypeReps xs
with: '[ 'BoxedRep 'Lifted]
Expected kind ‘TYPE ('TupleRep (TypeReps xs))’,
but ‘(# a #)’ has kind ‘TYPE ('TupleRep '[ 'BoxedRep 'Lifted])’
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.
|