I have no idea! I was just solving SICP problems, so part of the issue for me was that, once the program worked, I was done.

I had to do the hard part, but not really gain the benefits of the type system.