K-varing anon func types at definition