Fix handlers typing to be properly closed.
Prove progress (or lack of progress due to the lack of alpha conversion).