@noncom there are multiple possible architectures for FP. The one you’re trying to achieve is the one called “monad stack”. Jorge talked about it at KotlinConf