You also get ADTs and it's harder to write race conditions