hoogle 5.0.18.2 -> 5.0.18.3