Leaf: Maybe String ExpQ ---> (Maybe String, ExpQ)