[ feature ] Monad instance, intersperse, unzip