A thought - my $var TYPE instead of my TYPE $var

[matthewpersico]

https://developers.slashdot.org/story/23/08/07/0136228/should-a-variables-type-come-after-its-name

[happy-barney]

First, check are not types, checks are more than types (eg, checks will be available during runtime)

Topic already discussed in discussion #22 , proposal is to use attributes:

my $var :check(Foo);