HomeIsabelle/Phabricator

canonical enum instance for word