GHC Haskell coercion table of primitive types:
The values with the same representation are coercible.
(but can result runtime failure, it's up to the programmer)
Stop doomscrolling Twitter, and RSVP for our next exciting virtual event! On February 9, @deech will join us for a talk on ATS, linear types, and the next generation of systems programming languages: meetup.com/Berlin-Functional…