Support FS[_] params in algebras

[raulraja]

We are currently unable to implement methods like ApplicativeError#recoverWith because they rely on senf FS[_] programs as args and that requires mutually recursive interpreters. We need a fix or workaround for this ASAP as this is currently blocking implementation of other effects and starts affecting users. This is also related to #361
There is FreeK which seems to work around this limitation in nutcracker https://github.com/TomasMikula/nutcracker/blob/master/src/main/scala/nutcracker/util/FreeK.scala

[anamariamv]

We have paused that for the moment. Peter couldn't find a solution but he will keep thinking about it.