and that is what I want out of a type system
# random
p
and that is what I want out of a type system