syntactic sugar, case expressions, useful datatypes