Endpoint for DB stored functionPortableSafe,5DEndpoint for SQL procedure.nExample, stored function that returns current time in seconds: >>> type SelectTime = Procedure "time" Integer,Example, stored function that squares given C: >>> type SquareProcedure = Arg "a" Int :> Procedure "square" Int Argument for DB stored functionsPortableSafe,5DFNamed argument of DB stored function with attached name and type info.Atype SquareProcedure = ArgNamed "a" Int :> Procedure "square" IntBPositional argument of DB stored function with attached type info.;type SquareProcedure = ArgPos Int :> Procedure "square" Int'Type level DSL for describing API to DBPortableNone     )servant-db-0.2.0.0-7cJYI5lXzBhD6HKOvKQfukServant.API.DB.ProcedureServant.API.DB.ArgumentServant.API.DB Procedure$fGenericProcedureArgNamedArgPos$fGenericArgPos$fGenericArgNamedghc-prim GHC.TypesInt%servant-0.9.0.1-MDADeOVb6A9fvfF7vdTG6Servant.API.Sub:>Servant.API.Alternative:<|>