(^) `do T´ syntax