A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.