Just package:strict

Extracts the element out of a Just and throws an error if the argument is Nothing.
Yields True iff the argument is of the form Just _.