sigmastate.eval
Type-class to give types a capability to build a Size structure.
Given data value x returns it's size descriptor Size[T]
x
Size[T]
Type-class to give types a capability to build a Size structure.