This is how it was and I haven't finished on the dotted case yet. It needs more improvements to inference to work better, but I hope it to be merged into the other case by removing the restriction that the dotted vars are null. So this will be fixed then.