specialize `loop` in tests/pos/vecloop.hs