Puzzles and type inversions from

Puzzles and type inversions from Scott Kim. Link