The pulumi output model reminds me of haskell's monads actually, it's kind of funny. I think they're actually just the same idea