https://benjaminrae.dev/posts/no-more-noisy-type-assertions/