Is alcohol taxonomy finite? (or, explain alcohol to me)

I’m not even sure you find broad agreement amongst the various sub-types of alcohol, as I discovered earlier.