Traits

Use + to require multiple traits.

trait Foo:
    pass

trait Bar:
    pass

trait Fie:
    pass

func foo(value: Foo + Bar + Fie) -> Bar + Fie:
    return value