Is there any way I can convince Haddock to wrap these contexts? Ideally I want to see something like
leftJoin :: (Default Unpackspec columnsA columnsA, Default Unpackspec columnsB columnsB, Default NullMaker columnsB nullableColumnsB) => [..]
This is a bit silly and doesn't directly address the problem, but maybe you could re-package some of the Constraints into a type synonym? (I think you would need some extension like -XConstraintKinds for that) Like this: type DefaultUnpack cols = Default Unpackspec cols cols type DefaultNull cols nCols = Default NullMaker cols nCols leftJoin :: (DefaultUnpack columnsA, DefaultUnpack columnsB, DefaultNull columnsB nullableColumnsB) => [..] Cheers, MarLinn