Typed solutions to all of the B.3 problems are now available.
Updates
There was a typo in problem B.6.P #52. I’ve fixed it.