module Network.URI.Types(Application(..)) where import Network.URI data Application = Application { Application -> String name :: String, Application -> URI icon :: URI, Application -> String description :: String, Application -> String appId :: String -- internal }