An SYB-like "every(where)" combinator for defining fully-generic dependent mappings. AWESOME!!!!