https://funloria.pages.dev/posts/type-refined-codes/