TypeCheckHelper

macros