VKHS: add Monadic API interface