remove impredicativetypes since it isnt necessary