> Types prevent me from writing code that I don't understand.

Yes, thats the point.