Some instance typing