Bug/contextual type provider without generic