andrew-kim-explorations-on-type-2