a and c can be anything: function, algebraic type, ... That's the thing. Prod a [c] leaves plenty of room. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160104/1ad06dda/attachment.html>