Type families in the Haskell.Convert module
Flatten after vectorization