[HOpenGL] Specialized versions of renderPrimitives?

Things like renderPrimitive LineLoop $ do vertex v1 ; vertex v2; vertex v3; vertex v4 renderPrimitive Lines $ do vertex v1 ; vertex v2; vertex v3; vertex v4 are indeed close to the OpenGL interface. But we lose a lot of type safety. It would be more concise and safer to write lineLoop [v1, v2, v3, v4] lines [(v1, v2), (v3, v4)] Is this implemented somewhere?