-- 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)))))))));
}