- [ ] Add type-level tests - [ ] Make type family code more robust eliminating the possibility of a stuck type family error - [ ] Upload to stackage.
