$newline never
$case bonusRule
  $of ExamBonusPoints ps False
    _{MsgExamBonusPoints ps}
  $of ExamBonusPoints ps True
    _{MsgExamBonusPointsPassed ps}