Immutable types, better testing overall