blob: 934da44f385b20a51bfd104772fce9540a3e763e (
plain)
1
2
3
4
5
6
7
8
9
|
T9999.hs:13:38: error:
• No instance for (Typeable k0) arising from a use of ‘typeRep’
• In the second argument of ‘(==)’, namely
‘typeRep (Proxy :: Proxy F1)’
In the expression:
typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
In an equation for ‘main’:
main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
|