Pointy non-foldM
Add type sig