{-# LANGUAGE OverloadedStrings #-} module Main where import DrWho main :: IO () main = DrWho.realMain