hoogle 5.0.12 -> 5.0.13