the related question answered above is "how to decompose the ser/deser features of typealiased arrays to accomodate adjacent conversions from {text,binary}{read,write} iteration strategies"[elgantly]. to say that arrow can't handle the polymorphism sounds astonishing