module PolymorphicConstraints::Utils