There are 7 maps with codomain Ordered trees in the database:
(and possibly some waiting for verification)