-- An empty playground
module T8 where