ATProto Browser

Record data

{
  "uri": "at://did:plc:j7ri4agbraq6g3dfmyccxep2/app.bsky.feed.post/3lomcz4ihvs2k",
  "cid": "bafyreig4micxqtdccwfr6uemulrxilf55i2h3xki2evgx5bqfdfsl5ggw4",
  "value": {
    "text": "it is under the usual definition, because only contravariant positions matter.\nunless your type system does deep subsumption (which it probably shouldn't), realistically, you'll have to treat it more like a rank 3 type for the purposes of type checking though",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreiflsyv7ttx53snyxmkdfvk3bweedp7kon2h5oy3tjigc3ch3lljri",
        "uri": "at://did:plc:rmplvmo2uq2mlth23rqhgcvx/app.bsky.feed.post/3lom35yzdos24"
      },
      "parent": {
        "cid": "bafyreieg6rgyfxlzgykf34vx622avjuwogk73k7kwyxgbuefdzivglpjh4",
        "uri": "at://did:plc:rmplvmo2uq2mlth23rqhgcvx/app.bsky.feed.post/3lom3nh6ysc24"
      }
    },
    "createdAt": "2025-05-07T21:16:12.892Z"
  }
}