GetType: T extends functional.Codec<infer U> ? U : never

You can use this to get a free type from any codec

Type Parameters