shinchan’s proof of @monad_xyz madness