Tiny, yet Moo(se)-compatible type constraint
