uncomment common.ka
drop the right number of params with fixpoints