“…For some examples and discussions of the positives and negatives of the many variants see, inter alia, Barker and Jago (2018), Campbell (1990), Casullo (1984Casullo ( , 1988, , Hakkarainen and Keinänen (2017), Jago (2018), Maurin (2002Maurin ( , 2011, O'Leary- Hawthorne (1995), Paul (2017), Robb (2005), Simons (1994Simons ( , 1998, Ujvári (2013), and Wayne (2008). Furthermore, having instances means that types are universals.…”