Of course I could just have all the types be `Any`...

# announcements

[mp]

Of course I could just have all the types be Any but I'm hoping for a better approach than that...