Gurkenglas

`fromListWith` should be generalized to `Foldable`, and we need `fromListMap` functions `(Foldable t, Monoid m) => (a -> m) -> t (k, a) -> Map k m` and perhaps `(Foldable...

forever :: m () -> m Void; (>>) :: m () -> m a -> m a

3

It should be made clear when information is thrown away, for the benefit of the writer, reader and automatic code makers like exference. `forever :: IO Int -> IO ()`...

For example, `:t _Left` would give `Prism (Either a c) (Either b c) a b` instead of `(Applicative f, Choice p) => p a (f b) -> p (Either a...

Given a type, look for times that type, or one isomorphic to it, or perhaps even one more general than it, was said, not all the times all tokens in...

Create a database of all possible expressions of token length small enough to not explode any data storage. Given a type, show a DAG of at least as general types,...

I've heard that the docs are generated by third-party volunteer machines. You should be able to click a button to let your machine temporarily volunteer to build the docs for...

Completing the rectangle au - ala; under - ?.

Having to write `alaf Alt foldMap` is embarassing.