blob: 05f3a935eb63c02e25b85f67a99769f56d10501f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
UnliftedNewtypesFamilyKindFail2.hs:12:20:
Expected a type, but ‘5’ has kind ‘GHC.Num.Natural.Natural’
In the first argument of ‘F’, namely ‘5’
In the newtype instance declaration for ‘F’
UnliftedNewtypesFamilyKindFail2.hs:12:31:
Expected a type, but ‘5’ has kind ‘GHC.Num.Natural.Natural’
In the first argument of ‘F’, namely ‘5’
In the type ‘(F 5)’
In the definition of data constructor ‘MkF’
|
