Servis Servis is a port of https://github.com/haskell-servant/servant in idris. By porting to idris, we can do cool stuff with dependent types!