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 :: * #