speed up src/pigeonhole.hs a bit