On 2013-12-16 23:26, David Luposchainsky wrote: > -- Explicitly irrefutable pattern: do not add MonadFail constraint > do ~pat <- computation >>> let f pat = more > more >>> in computation >>= f Why not "f ~pat = more"? -- /NAD