hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / T16946.hs
1 {-# LANGUAGE RankNTypes, TypeFamilies, PolyKinds, FunctionalDependencies #-}
2 module T16946 where
3
4 import Data.Kind
5
6 class CatMonad (c :: k -> k -> Type) (m :: forall (x :: k) (y :: k). c x y -> Type -> Type) | c -> m where
7 type Id c :: c x x
8
9 xpure :: a -> m (Id c) a
10
11 boom :: forall k (c :: k -> k -> Type) (m :: forall (x :: k) (y :: k). c x y -> Type -> Type) a. CatMonad c m => a -> m (Id c) a
12 boom = xpure