module T10495 where

import Data.Coerce

foo = coerce