@@ -198,6 +198,7 @@ instance NFData Totality where
198 rnf Productive = ()
198 rnf Productive = ()
199 rnf (Partial x1) = rnf x1 `seq` ()
199 rnf (Partial x1) = rnf x1 `seq` ()
200 rnf Unchecked = ()
200 rnf Unchecked = ()
202instance NFData PReason where
203instance NFData PReason where
203 rnf (Other x1) = rnf x1 `seq` ()
204 rnf (Other x1) = rnf x1 `seq` ()