> holds 100 $ id === (+0) &&& id === (id . id) True
> holds 100 $ id === (+0) ||| id === (id . id) True
prop_id_idempotent = id === id . id
> check $ id === (+0) +++ OK, passed 200 tests.
> check $ id === id . id +++ OK, passed 1 tests (exhausted).
> check $ id === (+1) *** Failed! Falsifiable (after 1 tests): 0
>>> reverse `onMismatch` (\"needle" -> "Found It") $ "haystack" "kcatsyah" >>> reverse `onMismatch` (\"needle" -> "Found It") $ "needle" "Found It"
>>> (\1 -> "got 1") ||> (\2 -> "got 2") ||> show $ 1 "got 1" >>> (\1 -> "got 1") ||> (\1 -> "again") ||> (\2 -> "got 2") ||> show $ 2 "got 2" >>> (\1 -> "got 1") ||> (\1 -> "again") ||> (\2 -> "got 2") ||> show $ 3 "3"