{-# LANGUAGE RecordWildCards #-} module Main where import Refact.Run main :: IO () main = refactMain