andrew-kim-explorations-on-type-1