Void :: *;
Void = forall voidT::* . voidT;
void (r::*) (v::Void) :: r = v r;