WIP static types