02. types and typeclasses: basic