HoTT/book — pull request #716 by kirelagin (2014-09-25 17:30:59+00:00)
Title: Fix a type

Now it actually matches the type of the following definition.