interface Stringable {
    public Str toStr();
}