[Haskell-cafe] ANNOUNCE: sai-shape-syb Generic mapping to homogeneous types (etc.)