aavogt

aavogt has asked 2 questions and find answers to 24 problems.

Stats

About

aavogt questions

does this GADT actually have type role representational

aavogt answers

ambiguity check and liberal coverage condition failures for code working under GHC 7.6
Generically finding out whether the type of a value belongs to a type class or not
Is there any deeper type-theoretic reason GHC can't infer this type? [duplicate]
Haskell constructor aliases
How concatenate tuples in phantom types in Haskell?
Template Haskell and Implicit Parameters
Generic programming in Haskell with SYB and ad-hoc polymorphism
Get result from first thread completed
What *isn't* Typeable in GHC 7.8?
QuickCheck tests for dependent types