we already have `UnknownType`, but wasn't sure about re-using exceptions