making progress
Kleisli with syntax
fiddling around