Odd ghc error message, “My brain just exploded”?
Consider the GADT data S a where S :: Show a => S a and the execution of the code foo :: S a -> a -> String foo s x = case s of S -> show x In a dictionary-based Haskell implementation, one would expect that the value s is carrying a class … Read more