ndarray = pyimport "ndarray"

a as ndarray.NDArray(Int, [2, 3]) = todo()

check|T, Shape: {A: [Nat; _] | all(map((X -> X > 1), A))}|(
    _: ndarray.NDArray(T, Shape)
) = None
check a

check2|T, Shape: [Nat; _]|(
    _: {_: ndarray.NDArray(T, Shape) | all(map((X -> X > 1), Shape))}
) = None
check2 a