module Prelude where

data () = ()