ghc-exactprint-0.5.3.1: tests/examples/ghc80/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