use Gauge;
use Kind::Subset::Parametric;
use MetamodelX::ParametricSubset;

my constant T = Metamodel::SubsetHOW.new_type: :name<T>, :refinee(Mu), :refinement(Mu);
BEGIN trait_mod:<will> T, -> $_, :$a { $a }, :parameterize;
my constant J = T.^jail;
my constant $param = \(T, 0, :0a);
my constant @param = 3, T, 0, 'a', 0;
my constant &house = J.WHO.<&house>;
my constant &param = J.WHO.<&parameterize>;
Gauge(-> --> Nil { param J, @param }).poll(1).throttle(29).produce(&max).map(&put);