A note about the future of the FOL type system.
A note about the future of the FOL type system.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language