T' and T a b seem to not mix well. T' can not be passed to a function expecting T a b and vice versa any suggestions? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160822/f734b652/attachment.html>