Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
in general. e.g., we assume that there is exactly one SubjectConfirmation
, but Subject
contains a list of them that could have length 0 or 5. similarly, we only take the first of a
(non-empty) list of assertions into account, and ignore the others.