What it says on the tin. I want to be able to not have to write out the types by hand in `prelude.py`.
What it says on the tin. I want to be able to not have to write out the types by hand in
prelude.py.