trace monotype