Separately tagged type signature and body of untagList