fogfish

We do have a ADT - Erlang record ```erlang -record(adt, {id, title, ...}). ``` external serialization works with maps ```erlang jsx:encode(#{ => ..., => ...}) ``` How to automate process...

E.g. How to implement following code using m_state ```erlang sync_github(#account{} = Account, Page) -> case m_http:once( sync_github_at(Account, Page) ) of {ok, []} -> {ok, []}; {ok, Head} -> case sync_github(Account,...

``` [m_state || ... cats:eitherT( ... ) .. ]. ``` fails with ``` {undef, [{m_state,eitherT, ... ```

The documentation is missing * monad interface specification * transformers * explanation and examples about existing monads

Support a typecast operation via lens e.g. parsing AWS API response ``` lens:c( lens:traverse(), lens:pair(instances_set), lens:traverse(), lens:pair(instance_id) %% here we need a lens to convert list to binary ). ```

``` lists:fold(a(_, _), ...) ``` fails with ``` terminated with reason: fun called with wrong arity of 2 instead of 1 ```

```erlang %% we have a function that returns io monad io() -> [m_io || ... ]. %% we need to compose this function with other category (e.g. reader) dot() ->...

```erlang t() -> [option || A =< case 1 of _ -> 1 end, B =< case 1 of _ -> 3 end, cats:unit(A + B) ]. ``` Any match...