7 Aug
2016
7 Aug
'16
5:47 p.m.
found it: https://wiki.haskell.org/GHC/Coercible yep, it type checks. Ta