Fix unification error
Fix unification error

A typo! But it causes some things to fail to unify, especially in proof
search.

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm