apparently VoidTy is not a Type anymore?