Shared types (wip2)