Min.hs: s/Int/Nat.