module Main (main) where import IpeDb.Main (defaultMain) main :: IO () main = defaultMain