I really enjoyed this, thanks! I've been writing OCaml a lot and wish it had the expressiveness of `instance Eq Pokemon where`.