Make Poly type immutable (#3)