Would it be significantly better than just having/using the following definition? unzipF :: Functor f => f (a, b) -> (f a, f b) unzipF x = (fmap fst x, fmap snd x) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.haskell.org/pipermail/libraries/attachments/20141205/ba726b55/attachment.html>