Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed

fun other () = return <xml>Hi!</xml>

fun main () = return <xml>{[Basis.url (main ())]}, {[url (other ())]}</xml>