Joel Berkeley

i'm using v0.5.1

@vdutor I haven't done any work on it. If it's fixed we can close it, yes, but I don't have any reason to think it has been

I've been forwarded this thread from #2601 what's the purpose of `Basics` in `Prelude` and what would it's role be in base?

> One thing that goes against this naming is that regular users aren't supposed to interact with the Basics namespace is this specific to `Basics`? Or is this just a...

Happy to move it. Just let me know where

moved it to `Control.Function`. Put it at the top of the file so it doesn't get confused with the `[Bi]injective` stuff further down

I also don't have a strong opinion, though I would find it odd there being a `Basics.Dependent` without anything in `Basics`

> Ah shoot the derive_traversable test is leaking information about the internal state of the compiler. :( Strange that the printing of `EqMap` uses named application rather than auto's `@{}`....

I've added those last two links to the wiki and mentioned the first links in the wiki discussion I do think there are more things that need adding to FAQs...

I'm having similar issues with unresricted quantities. Currrently, the default quantity is 0 and the only available sugar for specifying implicits (`forall n .`) is also for quantity 0. I'd...