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