Remove FQTMonad and GQTMonad.
Reasoning: The type signatures are a tad more verbose, but are self explanatory.