found it: https://wiki.haskell.org/GHC/Coercible yep, it type checks. Ta -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160807/47e4d423/attachment.html>