Now, on could argue that this at least gave us a foothold. If we change the implementation of “imbibe” in Carouser to explicitly test and dispatch according to its second argument, using the a type case, we can achieve the desired effect.
	But writing type cases sort of defeats the purpose…
	Type cases are regarded as… <change slide…>