:: a -> Maybe a -> a package:test-framework