> GHC crashes on valid input. Which is a bug. As Ben pointed out it is conceivable that compiler will not be able handle a correct program. But as a user I would expect GHC to detect such situations (if possible) and display an error message, not crash with a panic (which clearly says this is a bug and should be reported). Janek