include Signatures.TERM_VIEW with module Term := HOTerm