Main
Just adding type annotations