Cleaned up Maybes.lhs