Verb with multiple methods.

HasServerVerb.hs

class AllReflectMethod methods where
  reflectMethods :: Proxy methods -> [Method]

instance AllReflectMethod '[] where
  reflectMethods _ = []

instance (ReflectMethod m, AllReflectMethod ms) => AllReflectMethod (m:ms) where
  reflectMethods _ = reflectMethod (Proxy @m) : reflectMethods (Proxy @ms)

instance OVERLAPPING_
         ( AllCTRender ctypes a, AllReflectMethod methods, KnownNat status
         , GetHeaders (Headers h a)
         ) => HasServer (Verb (methods :: [StdMethod]) status ctypes (Headers h a)) context where

  type ServerT (Verb '[] ...) m = m () ???
  type ServerT (Verb (x ': xs) ...) m = ... :<|> ...

  route :: Proxy api -> Context context -> Delayed env (Server api) -> Router env
  route ???

type PostGet = Verb '[POST, GET] 200