ctypes nested array constructor doesn't work with sequences

Using Python 3.7 and mypy 0.660 on the following code:

import ctypes

Quaternion = ctypes.c_int * 4
Pair = Quaternion * 2

quat = Quaternion(1, 2, 3, 4)
p = Pair((1, 2, 3, 4), (2, 3, 4, 5))

returns

$ mypy ctypes_nested.py 
ctypes_nested.py:7: error: Array constructor argument 1 of type "Tuple[builtins.int, builtins.int, builtins.int, builtins.int]" is not convertible to the array element type "ctypes.Array[ctypes.c_int]"
ctypes_nested.py:7: error: Array constructor argument 2 of type "Tuple[builtins.int, builtins.int, builtins.int, builtins.int]" is not convertible to the array element type "ctypes.Array[ctypes.c_int]"

even though at runtime this constructor works just fine. Of course, changing the constructor to Pair(Quaternion(1, 2, 3, 4), Quaternion(2, 3, 4, 5)) works just fine.

Reproduce the issue with the Python and ctypes snippet in the report, then trace mypy's handling of ctypes array constructor arguments and nested array elements. Done means Pair((1, 2, 3, 4), (2, 3, 4, 5)) type-checks without errors while the existing Quaternion and explicit nested-array forms remain valid.