Initial Push Todos

• port io-ts (likely will need additional adts for this)
• port monocle-ts (likely will need additional adts for this)
• implement tests for other algebraic modules
• revisit getEitherM and getOptionM types
• port hyper-ts to Deno

Version 1.0.0 features

• stack safe recursion for sequence constructors
• auto documentation (port docs-ts)
• spend a week on examples and introduction posts