sorry, i corrects a wrong typo.
from >> "my Type $a" doesn't constraint, while "my $a of Type" does constraint. to >> "my Type $a" does constraint, while "my $a of Type" doesn't constraint.
sorry, i corrects a wrong typo.
from >> "my Type $a" doesn't constraint, while "my $a of Type" does constraint. to >> "my Type $a" does constraint, while "my $a of Type" doesn't constraint.