如何让FsCheck生成尊重MaxLengthAttribute的随机字符串？

using FsCheck;
using System.ComponentModel.DataAnnotations;

public static class CustomGenerators
{
    public static Arbitrary<string> MaxLengthString(int maxLength)
    {
        return Arb.Default.String().Filter(s => s.Length <= maxLength);
    }
}

[Property]
public Property TestMaxLengthAttribute()
{
    return Prop.ForAll(
        CustomGenerators.MaxLengthString(10).ToArbitrary(),
        str =>
        {
            var maxLengthAttribute = new MaxLengthAttribute(10);
            return maxLengthAttribute.IsValid(str);
        });
}