coot

That was also a problem in the original and I went around it here: ``` fn :: f (Cofree f a) -> g (Cofree g b) -> Product f g...

That's what I did in the `composeWith` above where you have ``` zap :: a -> b -> c ``` and ``` zapTail :: (Cofree f a -> Cofree g...

That's true `Tuple f gb` puts f that is one step behind. It works in my use case because this leg is not used when the interpreter runs - so...

You can also have some fun with streams: in this gist I just duplicate a Fiibonacci sequence: http://try.purescript.org/?gist=6bac5a9839403f65c40e8494031c9a00 btw, the I am not sure if it is possible to unfold...

In Redux when you connect a component to a state, and you want to match what you need as tight as possible (which is an optimisation). Another case how I...

I guess the right place for the `class SubRow` is in `Type.Row`. I'll submit a PR there too.

The only dependency that this will introduce is for `Data.Array`, I hope it's fine. It just requires `cons` (the new DCE that I am working on is able to cut...

thanks @kRITZCREEK for the suggestion!

in vim you can ``` PSCIDEimportModule Data.Array Array ``` But there is no support for that for `PSCIDEimportIdentifier`. I'd like to integrate `PSCIDEimportModule` and `PSCIDEimportIdentifier` into a single command.

I don't think there is support for that in `psc-ide` protocol.