Yeah let me come back to you. I think I need to us...

# arrow

[girafferson]

Yeah let me come back to you. I think I need to use stuff like MonadDefer a bit more. I think I have enough to fix my algebras