Restart project
Add Pair and List as Monoid