A bug which could cause GHC to accept or infer an incorrect type, resulting in a <<loop>> at runtime, has been fixed.