Types problem WIP