testsuite/tests/polykinds/T8391.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE FunctionalDependencies, FlexibleInstances, 
             TypeFamilies,
             PolyKinds #-}

module T8391 where

type  Foo a = a

class Bar a b | a -> b

instance Bar a (Foo a)