module Main where import Villefort import Villefort.Definitions main :: IO () main = villefort def