(module Extends.Typ)