RDL.and should handle higher-order just fine, so write a version that does.