http://hackage.haskell.org/package/free emControl.Monad.Free.Free permite obter acesso à "mónada livre" para qualquer dadoFunctor. Não tem, no entanto,MonadFix instância. Isto é porque tal instância não pode ser escrita, ou foi simplesmente deixada de fora?

Se tal instância não puder ser escrita, por que não?