vulkan VS gloss

You might look at the Vulkan API: https://www.vulkan.org/. There are bindings in many languages, including Haskell (I have personally used https://hackage.haskell.org/package/vulkan).

At this point the answer is: yes, we have some. We have sdl2 (https://hackage.haskell.org/package/sdl2), gl (https://hackage.haskell.org/package/gl), OpenGL (https://hackage.haskell.org/package/OpenGL), GLFW (https://hackage.haskell.org/package/GLFW), vulkan (https://hackage.haskell.org/package/vulkan), dear-imgui.hs (https://hackage.haskell.org/package/dear-imgui). There's certainly much more out there - this is a biased list of stuff I've either used or contributed to.

If I search vulkan haskell the first result is VulkanMemoryAllocator which actually links through to the main vulkan package which I believe is vulkan.

Can it compile vulkan? I was getting linker errors with "too many sections" from it and singletons.

That Picture type is what does all the heavy lifting. Have you read its Haddocks already? There's an example using play in gloss-examples if it helps you (it just renders the most recent event as text on the screen). When I was new to Haskell and gloss, I found "following the types" helped. There's only a limited amount of things you can do with Picture, and those limitations can help guide you.

Haskell is the purest of the pure, and a fun language. Never done graphics with it but I see Gloss looks decent - https://github.com/benl23x5/gloss.

If you just want to draw stuff on a window, then have a look at gloss (a very simple yet useful interface to OpenGL) and sdl2 (which gives bindings to the SDL library).

This question is in the gloss FAQ:

Ideally, I'd like something like gloss in Haskell.