removed the low level phantom-type because it's not needed