Fix disambiguation issue (this also happens on master, so might cause a conflict).
Fix disambiguation issue (this also happens on master, so might cause a conflict).

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