Another way to say "Ale is a kind of beer" is "Ale is a variety of beer."