main = fail "badly" -- ???