Is Haskell Missing A Non-Instantiating Parametric Case?

Please click here