wren ng thornton wrote: > concat1 :: T a b -> (b -> T a b) -> T a b This could just as easily be concat :: T a b -> (b -> T a c) -> T a c right? It's a little weird to call this concatenation, but I bet it could come in handy. -- Jason McCarty <jmccarty at sent.com>