barrucadu's memos - tagged 'type checking'