path: root/testsuite/tests/indexed-types/should_fail/T10141.hs

{-# LANGUAGE TypeFamilies, PolyKinds #-}

module T10141 where

type family G (a :: k) where
   G Int  = Bool
   G Bool = Int
   G a    = a