While you could describe just about anything with a monadic type (or, indeed, any "Turing-complete" programming language in any other), this isn't functional programming because the central idea of functional programming is that the meaning (denotation) of every term (expression) is a value which is an object of the program, while this is neither the case nor the point for the synchronous paradigm.
