this is just multiple dispatch on types that have ...
# development
a
this is just multiple dispatch on types that have a finite number of unique instances (e.g. enums)