broken
broken
GADTs for uniform edsl
uniform GADT
removed intermediary data type
roadblock
has workable semantics
can render but flickering
can render textures
better example
declarative opengl api + 2d api