{-# OPTIONS_GHC -XGADTs -main-is Baz #-}