found it:

https://wiki.haskell.org/GHC/Coercible

yep, it type checks.

Ta