|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…>