Is there any deeper type-theoretic reason GHC can't infer this type?
57435
Type inference with GADTs - a0 is untouchable
68599
Difference between `data` and `newtype` in Haskell
48141
How can I learn actual type argument of an generic class?
137605
Why can't the compiler deduce the template type from default arguments?
52386
Why do I get "type has no typeinfo" error with an enum type
75254
Properties possessed by $H , G/H$ but not G
90888
Generic methods in .NET cannot have their return types inferred. Why?
134588
Seeking a direct proof about nested inclusions
5495
Is List a subclass of List? Why are Java generics not implicitly polymorphic?
22843
Why can't I use a type argument in a type parameter with multiple bounds?
147513
GHC complains about non-exhaustive patterns that are enforced by the type checker
47468
Get all derived types of a type
61438
A question regarding existence and uniqueness in IVP
93279
Should I force Python type checking?
4684
What's the canonical way to check for type in Python?
133660
When can a homomorphism be determined entirely by its generators
7330
Java - No enclosing instance of type Foo is accessible