Type Bool Is Not A Subtype Of Type String