`App` in FI accepts terms of a subtype