------------------------------------------------------------------------ -- Lists ------------------------------------------------------------------------ module Tools.List where open import Agda.Builtin.List using (List; []; _∷_) public