Thread lifting context implicitly in the vectorisation monad