“…The academic field is mainly dedicated to combining gradual typing with other language features, including both expressiveness (object (Siek & Taha, 2007; Chung et al ., 2018), effect (Bañados Schwerter et al ., 2014, 2016;Wadler, 2021), polymorphism (Ahmed et al ., 2011, 2017; Igarashi et al ., 2017), set theoretic types (Toro & Tanter, 2017; Castagna et al ., 2019)), and implementation optimization (Pycket (Bauman et al ., 2015), Grift (Kuhlenschmidt et al ., 2019)).…”