blob: 6ad532a4eac5630616cb0acdc13c112ee803c3da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T16204c.hs:16:8: error:
• Couldn't match kind ‘Rep’ with ‘*’
When matching types
a0 :: Rep
a :: *
Expected: Sing a
Actual: Sing a0
• In the first argument of ‘id’, namely ‘sTo’
In the expression: id sTo
In an equation for ‘x’: x = id sTo
• Relevant bindings include x :: Sing a (bound at T16204c.hs:16:1)
|