[lmm]

Have you tried underscore.py? It's not quite pointfree but it's a step in that direction.