MultivaluedFunctionsMonadTests