Wrong funext in HW5 Agda code.

The funext should work for dependent functions too.
Thanks to Ian Ernest Voysey for pointing this out.