# Chapter Exercises
see src/sem.hs