Coercible programs, shaders, etc.

[ekmett]

Right now the pattern synonyms yield super liberal types and the combinators take very specific ones that match OpenGL.

This is somewhat unfortunate in that there are many fields for which the thing we pass is usually newtyped in user code (e.g. Program, Shader, etc.)

We could/should switch some or all of the fields to allowing anything Coercible to the appropriate type.

I'm inclined to look for ones that are just things like program, etc where no GL_FOO args are passed, and generalize just those to avoid type errors.