-- 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 Bar a b; type Baz a; type Baz a = [(a, a)]; } bar :: Foo a => Bar a a instance AssocTypes.Foo [a]