module T2412 where

data Baz