Now using [T : Void] instead of [T : Bool].