Statically checked bounds
Default the oh argument using default keyword