List Question
12 TechQA 2018-08-17T14:32:34.920000Haskell typeclass constraint cannot be resolved due to Paterson's conditions
320 views
Asked by madgen
GHC stuck due to UndecidableSuperClasses - expected behaviour or bug?
176 views
Asked by yairchu
Is it able to avoid UndecidableInstances in this example?
167 views
Asked by qimokao
Writing generic Monoid over Cofree; undecidable?
98 views
Asked by Chris Penner
How can undecidable instances actually hang the compiler?
1k views
Asked by leftaroundabout
Example of the undecidability of higher-order unification
101 views
Asked by nikkkk
Transitive 'Subset` class for type-level-sets
228 views
Asked by ShapeOfMatter
Can I automatically produce typeclass instances for a conversion function without being overly permissive?
185 views
Asked by Alexis King
Why does this code using UndecidableInstances compile, then generate a runtime infinite loop?
376 views
Asked by Alexis King
Turing Machine for regular languages
1.6k views
Asked by Mba7eth
Turing machine decidability ambiguous cases
525 views
Asked by Cmôn
Using Barbies' AllBF in an instance head without UndecidableInstances
134 views
Asked by Cactus