instanceof@tg
says to
YSITD
function somethingWrapper<A, B, C>(a: A, b: B): () => C {}