Can we type this as `::Bool`?