Typing Quirk

(a work in progress)