1. 9

Some context – when I first wrote my fixed-length vector types in Haskell post in 2015, I received a lot of great feedback on where I strayed from established idiomatic practices and mistakes/improvements. This post is an updated version incorporating all of this advice and is informed by the experiences I have had working with these in actual applications :)

  1.  

  2. 2

    Great, thank you. I haven’t used singletons much at all, and this was quite a good intro.