Wrapping a type in Maybe[...] or Optional[...] could function a lot like their Types::Standard counterparts. Right now, Void is being used to skip over unwanted vars (for things like generating automatic constructors that don't want the package name like perl's new() would) in LibUI.pm. Maybe[...] could wrap trailing parameters that might be optional. This might be a code smell upstream though.
Wrapping a type in Maybe[...] or Optional[...] could function a lot like their Types::Standard counterparts. Right now,
Voidis being used to skip over unwanted vars (for things like generating automatic constructors that don't want the package name like perl'snew()would) in LibUI.pm. Maybe[...] could wrap trailing parameters that might be optional. This might be a code smell upstream though.