Bool

Nice, even with a kind annotation. Now where are the other types?