Man pages matching name hoogle in section 1:

hoogle.1.en

debian 10 / hoogle