A[Int]
true
true
true

G[A[Bool], G[A[A[Int]], nullable A[Int]]]
true
true
true
true
true

G[Bool, Int]
A[Bool]
true
true
true
true
true
true
true
true
true