https://www.youtube.com/watch?v=srQt1NAHYC0 The guy has nice pictures, but... I havnt seen it in a nonfunctional language In theory I want ranges + nullable to be smarter but; idk I dont know what to call it