T15712.hs:19:16: error: [GHC-83865]
    • Expecting one more argument to ‘GEndo’
      Expected kind ‘* -> *’, but ‘GEndo’ has kind ‘(* -> *) -> * -> *’
    • In the first argument of ‘Codensity’, namely ‘GEndo’
      In the newtype declaration for ‘LogicT’