Linear types are merged in GHC
This has been bugging me for a while:  Why are type names what they are?  I get why sum types and product types are named what they are.But linear types?  A value can be used only once?  Cool.  We call that "linearity"?  Um, what?  What's linear about that?