Discussing models of GADTs and why it's hard to relate shapes and gears
Compiling GADTs and continuations