InstanceArgumentsNotFound.agda:7,8-9 No variable of type A was found in scope. when checking that the expression f has type B