HomeIsabelle/Phabricator

proper type constraint;