This:
bool = nil?nil true = Ok(nil) false = Err(nil)
Icon and Verse use failure (backtracking!) as false and all values as true, but you still have conditionals and boolean logic even though you don't (or may not) have a boolean type.