[monocasa]

Building on that, the ADT languages with full option types here are fantastic here, because the shape of the data in each case can be taught to the compiler.