Abstracting Gradual Type - 42Papers