Lexical::Types Integration

All typed lexicals in packages that use sealed will be pre-assigned their type name, so you can just do

use sealed;
my Foo $x; $x will be assigned "Foo" automatically by default

sub bar :Sealed {
$x->foo(); #compiled an invoked a class method
...