Added biased sum type, "Ok" (children are "Yes" and "No").