Since GHC-9.2 haddock can be used in extra places, e.g. function arguments in record fields, or GADTs. There are a few places in the code base which are marked with: ``` -- TODO: input-output-hk/typed-protocols#57 ```