print fcomp combinator only monadic in connection with other monadic expressions
print fcomp combinator only monadic in connection with other monadic expressions

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle