umukobwa muto wambaye ingofero yijimye arimo asunika imodoka in haskell this limitation is enforced at compile time by the type system over harvesting on the mongolian steppes has furthered erosion and desertification in those areas