Phantom types, broken
Simplified for toying with typing
Revert "Phantom types, broken"

This reverts commit efb60af451e39568e86420d8b3b38a4f4793984e.
Existentials are the way to go!
d runs forever, ds is the way to go
Stuff
Experiment finished.