Implement trait for type's value

This sounds a lot like pattern types.

1 Like