Author's continuation article at https://programmingsimplicity.substack.com/p/type-checking-c... clearly shows that the input and output ports he can think of are all "string".

If I felt snarky, I'd say "This is your brain on Javascript".