{-# LANGUAGE Trustworthy #-}
module SafeCompat (
    coerce,
) where

import Data.Coerce (coerce)