This is an example for the ambiguity problem I mentioned in the PR description. Remove the type ascription and see what happens.