Single payer also means that health care isn't tied to our jobs. I can pick up and move to any place without worry about losing my health insurance.

What are you limited by in a world where only Android phones existed? You can modify the kernel like Cyanogenmod does and you're free to get your user space applications not from the Play store.

Need to fix some things because of the use of brackets You only have generics of the first kind in C#, so implemented things like monad transformers become difficult. A higher order generic can box an inner generic. Say if you had something like with the higher order generic boxing in the inner generic. That's not possible in C# and in F#. new Foo<G, A> { G<A> member = new G<A>(); } A more concrete example of a .NET class that would be G : System.Collection.Generics.List such that G<A> : System.Collection.Generics.List<A>. But you can't pass G around freely and then box it in later. You can only have G an instance of A so new Foo<System.Collections.Generics.List, A> { System.Collections.Generics.List<A> member = new System.Collections.Generics.List<A>() } is not possible.

You only have generics of the first kind in C#, so implemented things like monad transformers become difficult. A higher order generic can box an inner generic. Say if you had something like with the higher order generic boxing in the inner generic. That's not possible in C# and in F#. new Foo { G member = new G(); } A more concrete example of a .NET class that would be G : System.Collection.Generics.List such that G : System.Collection.Generics.List. But you can't pass G around freely and then box it in later. You can only have G an instance of A so new Foo { System.Collections.Generics.List member = new System.Collections.Generics.List() } is not possible.

Well, to be fair, generics are also poorly implemented in C#. If scala can use higher order generics like Haskell can, there's no reason why C# and Java shouldn't be able to.

You do realize that the market had its chance to provide rural electrification and yet it failed to do so. It took government mandates to force the utilities to create power lines to rural communities.

So it's basically marginal taxation with two margins only. Still seems fairly regressive.

This is what happened during the construction of the Canadian Pacific Railway. Politicians and other speculators would by up land on the pathway to the CPR and ask the CPR for inflated prices when the CPR would build the railway. Of course some speculators got shafted when the CPR chose to redirect their railway away from the speculators' land.

Fuck off. I mean seriously. You don't get to touch a woman's genitals when she passes out. That's rape. The victim plays no part in a rape and you're clearly trying to blame the victim. You're disgusting.

Here's a quick example of a monad. It's something that wraps a value where the value can be freely generic while the rest of the type is not.
So let's use the Option monad in scala. It has two important functions called map and flatMap (map and bind in Haskell). All monads have these properties.
If I have val a0 = Some(25); val a1 = None;
map has a type signature of def map[Q, B](f: A => B): Option[B]
flatMap has a type signature of def flatMap[Q, B](f: A => Option[B]): Option[B]
a0.map((b: Int) => b + 5) would become Some(30)
a0.map((b: Int) => b + 5).map((c: Int) => c - 10) would become Some(20)
a1.map((b: Int) => b + 5) would become None
a1.map((b: Int) => b + 5).map((c: Int) => c - 10) would become None
a0.flatMap((b: Int) => Some(b + 5)) would become Some(25)
a0.flatMap((b: Int) => Some(b + 5)).flatMap((c: Int) => Some(c - 10)) would become Some(20)
a0.flatMap((b: Int) => None) would become None
a0.flatMap((b: Int) => None).flatMap((c: Int) => Some(c - 10)) would become None
a1.flatMap is always None
There's other monads that also wrap a value. The Promise monad wraps the result of an asynchronous computation so that the maps and flatMaps are chained asynchronously. The Error monad is the useful monad. Instead of having a Java function return a value through the return type or an exception through the throws clause, both return and exception values could be returned through the return type. The error monad is most similar to the option monad, which is called the anonymous exception sometimes. But the error monad doesn't have a zero so it's not quite the same as the option monad with zero of None, or the List monad with the zero of empty list.
Every List is a monad as it's a structure that wraps a generic value. The value just happens to be indeterminate.
Monads are just a way to chain events sequentially without having to deal with the background implementations of the structure we're dealing with.

The problem of evil and the problem of free will are actually fairly good disproofs of the existence of God. There's no existing proof for the existence of God that causes my atheism to be a problem.

There's some areas where the government is simply more efficient because the data shows that the government is more efficient. Health care and fire fighting services are two areas where the public sectors is more efficient than the private sector.

I'd like specifics. Which department should handle a compiler? Compilers bring in regular expressions for the syntax, create a parse tree for the semantics, and transform that parse tree into an intermediate pseudo assembly translation and then into the native machine code. I wouldn't trust mathematicians to understand the coding work, I wouldn't trust engineers with the coding work either. Which department should handle database courses? Entity relations, foreign key maps, many-to-many relationship tables, object relational mappers, triggers, and authorization schemas are something that most business departments don't have the technical ability to deal with. A business major acquaintance struggled to understand primary keys using MS Access. How do you plan on the business department to teach PostgreSQL, MySql when most of their students don't have the capacity to learn these DBs and aren't their for their primary purpose to learn new DBs. Which department should teach version control systems? Engineering is mostly pen and paper, mathematics is mostly pen and paper. It's only computer science where application code is built and has the foresight to provide students with version control tools so that the student can understand. Web frameworks and web languages....Once again, business departments don't have the capacity to understand the difference between a POST request and a GET request.

Compile time type checking helps with large applications to reduce the amount of errors. Javascript is an interpreted language with dynamic types and it takes more work to write the application libraries as the application grows. It's not really insane to use a compiler to write javascript if it helps in error reduction.

We have evidence of evolution and we have evidence that that mixing molecules together can create organic molecules. It wasn't long ago that chemists thought that organic molecules were somehow special and too complex to create by man. That theory turned out to be false. The evidence we have for evolution is in the fossil record. Fossils aren't continuous data collections, but snapshots left in time. Many fossils get destroyed before they get preserved. But evolution is a framework that explains common features between us and other primates, between us and cats, between cats and lions. Creationism does not explain why us and other primates look similar other than possible that God lacks an imagination. Young earth creationists also can get challenged by astrophysics and geology as there's evidence of an older planet, star, and universe than what creationists as the age of our planet.