Isn't this `fBoolCase` effectively mimicking an `fAndThen`?
`fAndThen(C fEq(...) unit)`