Typing with Sharks

New Benchmark