MultivaluedFunctionsMonadTests: Unit and Lift