Complete and working implementation of polymorphic insert, which preserves type inference and does not require manual annotation with Composes. IT WORKS!