Type Bool Is Not A Subtype Of Body