add tet default instance
add tet default instance
text monoid instance