Updated readme, removed hubris about category theory and monads