:: Maybe a -> a package:strict-base-types

Extracts the element out of a Just and throws an error if the argument is Nothing.