Some exercises from Ulf Norell's Agda Tutorial