T16976.aNumber :: forall (p_0 :: *) . GHC.Num.Num p_0 => p_0
T16976.aString :: [GHC.Types.Char]
T16976.MkT1 :: forall (s_0 :: *) . T16976.T s_0
T16976.MkT2 :: forall (s_0 :: *) . T16976.T s_0
T16976.T :: * -> *
T16976.P :: forall (s_0 :: *) . T16976.T s_0
GHC.Classes.not :: GHC.Types.Bool -> GHC.Types.Bool
GHC.Base.id :: forall (a_0 :: *) . a_0 -> a_0
GHC.Maybe.Nothing :: forall (a_0 :: *) . GHC.Maybe.Maybe a_0
GHC.Maybe.Maybe :: * -> *
GHC.Base.Functor :: (* -> *) -> Constraint