check function invocation with monad

now it is not implemented.  The implementation will come after codegen
implementation.  If any of arguments are monad instances, check them and
call the function with the contents of monad instances.