Init: explores pattern matching in where clauses
Init: checks if () can be used as a no op
Init: solution to problem 8