[ refactor ] Add Data.Nat.ListAction
#2558
+232
−76
Open
Loading