README demonstrates types now