8 Aug
2016
8 Aug
'16
3:17 a.m.
found it: https://wiki.haskell.org/GHC/Coercible yep, it type checks. Ta