Discussing models of GADTs and why it's hard to relate shapes and gears
Template so i don't forget all the extended markdown environments