ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/T10493.hs
{-# LANGUAGE FlexibleContexts #-}
module T10493 where
import Data.Coerce
import Data.Ord (Down) -- no constructor
foo :: Coercible (Down Int) Int => Down Int -> Int
foo = coerce
{-# LANGUAGE FlexibleContexts #-}
module T10493 where
import Data.Coerce
import Data.Ord (Down) -- no constructor
foo :: Coercible (Down Int) Int => Down Int -> Int
foo = coerce