blob: daad6ac0548398eaca89aedebd8aac4c40423356 (
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: '[ '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.
|