Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10715.hs
1 {-# LANGUAGE FlexibleContexts #-}
2 module T10715 where
3
4 import Data.Coerce (coerce, Coercible)
5 import Data.Ord ( Down ) -- convenient newtype
6
7 data X a
8
9 doCoerce :: Coercible a (X a) => a -> X a
10 doCoerce = coerce