add ::Bool type check