Types: Teaching Brief