alias "EmptyTup" "()"