hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / T14363a.hs
1 module T14363a where
2
3 import Data.Coerce
4
5 contra :: (a -> b) -> (f b -> f a)
6 contra = undefined
7
8 foo x = [coerce, contra]