(getMaybeVal), (FromMaybeVal), (getmv), (fromv)