{-# LANGUAGE PackageImports #-} import "vervis" Application (develMain) import Prelude (IO) main :: IO () main = develMain