This is required to make Haddock work correctly.
Signed-off-by: Edward Z. Yang <email@example.com>
What happens otherwise? Is there a ticket for this? We could certainly use a few more comments.
How will someone reading this code later know what things should be preserved?
add more comments
Added more comments.
Alright, better. Thanks @ezyang!