module T6031a where

data Empty