module Special where foo :: () foo = ()