Most of the examples in A Type Primer are intended as exercises you can do yourself.