Test for `catchJust`