code: function fromUnaryType(t) {
      return UnaryType (t.name)
                       (t.url)
                       (t.supertypes)
                       (t._test ([]))
                       (t._extractors.$1);
    }
docs: fromUnaryType :: Type -> Type -> Type