Bug294
data A #
Defined in Bug294
problemField :: TO A -> A #
problemField' :: DO A -> A #
gadtField :: GADT A -> A #
data family TP t :: * #
data family DP t :: * #
data family TO' t :: * #