RIP monad greppels lol 11/24/25-11/27/25