Btw a partially related question. Do we need specific argument types anywhere in syntactic unapplies?