Re: [Haskelldb-users] Writing signatures for record-manipulating functions

[Colin P. A. <co...@co...>]

>>>>> "Justin" == Justin Bailey <jgb...@gm...> writes:

    Justin> Colin, HaskellDB is going to give you some complicated
    Justin> type signatures - its a side-effect of using the type
    Justin> system to enforce things like field membership.
    
Would it be possible to exploit context synonyms (see
http://martijn.van.steenbergen.nl/journal/2009/10/11/context-synonyms/)
to automatically generate more readable (and therefore writeable) signatures?
-- 
Colin Adams
Preston Lancashire