proved the galois connection between monadic WF function spaces (GaloisWF)... although I might actually just want standard Galois between (wf A) and (wf B)