{-# OPTIONS_GHC -main-is Baz #-}
{-# LANGUAGE GADTs #-}