volsand
volsand
Thanks, I will try that! Do you guys think it's something useful to have? Should I make a pull request?
@agentm I made it work with this ugly thing: ```hs {-# LANGUAGE ScopedTypeVariables #-} -- 'throws' something that is not a member of the Exception type class throwIfLeft :: (Show...
@agentm Sure! I can open the PR tomorrow night if you want. (and add the toAddTypeExpr) > What bothers you about the constraints? I felt like there were too many...
Is there a reason this was not merged?