{-# LANGUAGE NoImplicitPrelude #-}

data Empty2 =