(
a
,[
b
]) -> [
b
], where
a
and
b
are type variables.