type A*[T] = object
proc foo*(a: A[int]): bool = false