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