As I understood proposal it will require only comp...

# random

[gildor]

As I understood proposal it will require only compile time checks and +one interface for type class and + 1 object on each implementation