path: root/testsuite/tests/polykinds/T7128.hs

{-# LANGUAGE PolyKinds, DataKinds, MultiParamTypeClasses,
              FunctionalDependencies
  #-}

module T7128 where

class Foo a (b :: k) | a -> k
instance Foo Bool False