Two mechanisms for dynamic type checks
wingolog.org