-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

@package test
@version 0.0.0

module AssocTypes
class Foo a where {
    type family Bar a b;
    type family Baz a;
    type Baz a = [(a, a)];
}
bar :: Foo a => Bar a a
instance AssocTypes.Foo [a]