linear-socket

An attempt at adding type-level information tracking socket properties, like Status, Family, and Protocol. Eventually, this can make use of linear-haskell for better safety guarantees.