WIP - function and closure types