gistfile1.hs

data Static = X | Y

resource :: Resource WithA WithB Ident Void Static
resource = mkResourceReader
  { R.name    = "foo"
  , R.schema  = noListing $ named
      [ ("id"          , singleRead ById  )
      , ( "x"          , static X         )
      , ( "y"          , static Y         )
      ]
  , R.get     = Just get
  , R.statics = \case
      X -> x
      Y -> y
  }