there's several reasons why, among them being spec...

# random

[pfn]

there's several reasons why, among them being specialization, side effects, and the inability of a reified type system to support a more complex type system without abandoning the reification