rename !! to # due specific case for ! in idris