(where

Anon(Platform.darwin)

represents "a new type we just created and memoized for that specific

enum

case")