<div dir="ltr"><div>Oh, I didn't realize that the type had already been generalized in tagged! [1]<br><br></div><div>I'm certainly +1 on this proposal.<br></div><div><br></div>Ryan S.<br>-----<br>[1] <a href="https://github.com/ekmett/tagged/blob/93cd87830733ed641409a2a14776973e8be600cc/old/Data/Proxy.hs#L264">https://github.com/ekmett/tagged/blob/93cd87830733ed641409a2a14776973e8be600cc/old/Data/Proxy.hs#L264</a><br></div>