Mipmap selection in too much detail

Haskell is not category theory