hoogle 5.0.11 -> 5.0.12