updateDataEnv :: DataEnv -> Size -> (Size -> Size) -> DataEnv
updateDataEnv [] size f = []
updateDataEnv :: DataEnv -> Size -> (Size -> Size) -> DataEnv
updateDataEnv [] size f = []
updateDataEnv [] size f = []