Safe HaskellSafe

Bug294

Documentation

data A

Instances

data DP A = ProblemCtor' A 
data TP A = ProblemCtor A 

problemField :: TO A -> A

problemField' :: DO A -> A

gadtField :: GADT A -> A

data family DP t :: *

Instances

data DP A = ProblemCtor' A