blob: 6fdeaa115cc4ead9fa2ea5a23d971751634e4512 (
plain)
1
2
3
4
5
6
7
8
|
T15473.hs:11:3: error:
• Variable ‘a’ occurs more often
in the type family application ‘Undefined’
than in the instance head ‘LetInterleave xs t ts is y z’
(Use UndecidableInstances to permit this)
• In the equations for closed type family ‘LetInterleave’
In the type family declaration for ‘LetInterleave’
|