I'm pretty sure we already have a type defined for `(-val '())`.