{-# LANGUAGE NoImplicitPrelude #-}

data Empty