Closed
Description
We should support "static" trait methods that don't require an object to be called on. This is how all typeclass functions behave in languages like haskell, and this enables a lot of useful things, mostly when constructing new objects.