<p dir="ltr">found it:</p>
<p dir="ltr"><a href="https://wiki.haskell.org/GHC/Coercible">https://wiki.haskell.org/GHC/Coercible</a></p>
<p dir="ltr">yep, it type checks. </p>
<p dir="ltr">Ta</p>