Introduce monadic functions file