Ensuring maybe types are safely handled