52e1435272e089ceb0f475409a99714c3388d788
[ghc.git] / testsuite / tests / indexed-types / should_compile / T4494.hs
1 {-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts, ScopedTypeVariables #-}
2
3 module T4494 where
4
5 type family H s
6 type family F v
7
8 bar :: (forall t. Maybe t -> a) -> H a -> Int
9 bar = error "urk"
10
11 call :: F Bool -> Int
12 call x = bar (\_ -> x) (undefined :: H (F Bool))