Version 0.0.1 checklist

[epicallan]

• Add examples
• Add haddock docs
• Add type level tests
• format with a formatter and integrate into test suite
• Make readme runnable (testable)
• Write accompanying blog
• Drop HasBound and use partial class
• Add type safe checked construction of bound types