/Functor/Free/Instance/SymmetricMonoidalPreorder/