module Main (main) where import Refact.Run (refactMain) main :: IO () main = refactMain