[Ur] XML records from higher-order type classes

Thu Apr 9 21:28:20 EDT 2015

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

On Thursday, April  9, 2015, at  8:41 pm EDT, Adam Chlipala wrote:
> Probably putting a full type annotation on the formal parameter 
> [witness] will solve this problem.

I’ll be darned, Adam, that did the trick.  How did you know that was
going to fix it?  I never would have guessed that.

Benjamin
-----BEGIN PGP SIGNATURE-----

iQF8BAEBCgBmBQJVJyc0XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7fcsH/0y2u+pn5poLiv/5aiPvnEEs
lMJRrYr8TOxcGvTArWQCPkAhSo7TkDN66RON1TQscVHudiOTkCwXpBDy7zIzHdIH
85HLLYadoTMd+kD+TM5fdlW/GcoTH7N+bDSJzp0jr7N2zgtKtXsdDka5p37zV5N7
c8kuIZQYI+R7FkAZ9NWFRGY5gKcoLxM12othEVn5MPXADmFbZjONstvFN8//cqVj
YNb/zOFlpVGLfNs21X/a/U6a8nQtCAH7WK1QgQvexapOYi2BxUTuN5Z54Rm3d/lW
YTSCSeNlHuJDlzL4bNbg9qH3lEDRejr5M/DxhCFyusgc6rhhTgrRWArrSDkLuBE=
=Z1Vd
-----END PGP SIGNATURE-----