class T10891.C (a_0 :: *) where T10891.f :: a_0 -> GHC.Types.Int class T10891.C' (a_0 :: *) where type T10891.F (a_0 :: *) :: * type T10891.F a_0 = a_0 T10891.f' :: a_0 -> GHC.Types.Int instance T10891.C' GHC.Types.Int class T10891.C'' (a_0 :: *) where data T10891.Fd (a_0 :: *) :: * instance T10891.C'' GHC.Types.Int