HoTT/book — pull request #717 by kirelagin (2014-09-25 17:33:03+00:00)
Title: Fix a type

Arguably a better fix for #716.