-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ @package test @version 0.0.0 module Bug806 -- | <a>F1</a> docs type family F1 a b :: * -> * -- | <a>F2</a> docs type family F2 a b :: * -> * -- | <a>D</a> docs data family D a :: * -> * v :: Int -- | <a>C</a> docs class C a where { -- | <a>AT</a> docs type family AT a; type AT a = Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy))))))))); }