ScalaCheckのバージョン情報に誤りがあったため修正しました。
EVENTの分解を行いました。