Jalil Arfaoui

```sh ~ > ssh localhost 'echo $USER $HOME $XDG_CONFIG_HOME' error: can not save history warning-path: Impossible de localiser le dossier data obtenu de $XDG_DATA_HOME: '/.local/share/fish'. warning-path: L’erreur était 'Permission denied'...

```shell ~ > echo $XDG_CONFIG_HOME /home/jalil/.config ~ > set -S XDG_CONFIG_HOME $XDG_CONFIG_HOME: set in global scope, exportée, with 1 elements $XDG_CONFIG_HOME[1] : |/home/jalil/.config| ~ > ```

Issue on `redux-observable` : https://github.com/redux-observable/redux-observable/issues/389

It's seems the problem is on `redux-observable` side : https://github.com/redux-observable/redux-observable/issues/389#issuecomment-354623405

Maybe we could use the `.wakatime-project` file. Currently this file only support one line which is the custom project name. We could support further settings like so: .wakatime-project ``` projectName...

@gcanti Do you have any opinion on this ?

Thanks @gcanti. I think I undertand your point, but I find partials are useful to work on … «partial data structures», where the absence of value does not mean `None`,...

OK I just found out https://github.com/fp-ts/core …

I need this too ! Is there any blocker ? This PR seems to be ready for a year now …

Please @gcanti bring the new overloading `refinement` definition ! I have many brand types defined with `{ __brand__: 'Int' }` style … It’s the only thing that keep `io-ts` incompatible...