cradle:
  direct:
    arguments:
      - "NeedsPragmas"
      - "TypeApplications"
      - "NamedFieldPuns"