Confluence, monotype