{-# LANGUAGE PackageImports #-}
import "open-api-petstore" Application (develMain)
import Prelude (IO)

main :: IO ()
main = develMain