https://wiert.me/2020/05/21/why-the-compiler-generates-a-e2018-record-object-or-class-type-required-on-typed-types/