blob: 0ec2dd8e480e671b08cfb7fdf0fac99d5940b7c0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T15362.hs:8:10: error:
• Mismatched type name in type family instance.
Expected: +
Actual: Maybe
In the declaration for type family ‘+’
• In the Template Haskell quotation
[d| type family a + b where
Maybe Zero b = b
Succ a + b = Succ (a + b) |]
|