Mutual coercions for common type constraints of Moose