+class Storable fr ⇒ Frame fr where
+ frameFmt ∷ fr → C'esd_format_t
+
+instance Frame Int8 where
+ frameFmt _ = c'ESD_BITS8
+
+instance Frame Int16 where
+ frameFmt _ = c'ESD_BITS16
+
+class Channels ch where
+ channelFmt ∷ ch → C'esd_format_t
+
+class (Frame fr, Channels ch) ⇒ Mux (vec ∷ ★ → ★) fr ch where
+ type DemuxedVec vec fr ch
+ mux ∷ DemuxedVec vec fr ch → vec fr
+
+-- Mono
+data Mono
+
+instance Channels Mono where
+ channelFmt _ = c'ESD_MONO
+
+instance Frame fr ⇒ Mux vec fr Mono where
+ type DemuxedVec vec fr Mono = vec fr
+ mux = id
+
+-- Stereo
+data Stereo
+
+instance Channels Stereo where
+ channelFmt _ = c'ESD_STEREO
+
+instance Frame fr ⇒ Mux L.Vector fr Stereo where
+ type DemuxedVec L.Vector fr Stereo = (L.Vector fr, L.Vector fr)
+ mux (left, right) = loop left right
+ where
+ -- THINKME: consider using storablevector-streamfusion
+ loop l r
+ = let Just (lFr, l') = L.viewL l
+ Just (rFr, r') = L.viewL r
+ lr' = loop l' r'
+ in
+ L.cons lFr (L.cons rFr lr')
+
+-- Utility functions
+wrapSocket ∷ String → CInt → IO Handle