isJust package:invertible

Convert between 'Just ()' and True (see isJust).