Init.purity: remove unnecessary import