Infer modules export monad synonym
*WIP*