defining `do` in the prelude