pavytai lujvo

t1 is monomorphic.

See also sortai.