Delete ghctags cabal file
[ghc.git] / testsuite / tests / typecheck / should_compile / T10156.hs
1 {-# LANGUAGE FlexibleContexts, TypeFamilies #-}
2
3 module T10156 where
4
5 import Data.Coerce
6
7 data Iso a b = Iso (a -> b) (b -> a)
8
9 coerceIso :: Coercible a b => Iso a b
10 coerceIso = Iso coerce coerce
11
12 type family F x
13
14 f :: (Coercible a (F b), Coercible c (F b)) => a -> b -> c
15 f x _ = coerce x