`Option.eq(Int.eq())` or `Option.eq(List.eq(Boole...
# arrow
p
Option.eq(Int.eq())
or
Option.eq(List.eq(Boolean.eq()))
or
Either.eq(Any.eq(), Any.eq())