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 :)