API package:servant-checked-exceptions