blob: d45960a589ac63c966537db37b78cef62601b87a (
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)
|