code: function fromUncheckedUnaryType(typeConstructor) {
      var t = typeConstructor (Unknown);
      return def (t.name) ({}) ([Type, Type]) (fromUnaryType (t));
    }
docs: fromUncheckedUnaryType :: (Type -> Type) -> Type -> Type