Creating a Type-Safe Effect Version of tiny-invariant in Remix - Effect Community