don't bother with the Wrap type family. newtypes cost nothing anyway
1.2.2
nevermind that's more trouble than it's worth
don't want Unsafe.Coerce
combineWith
back to transformers like approach
deletion
reader monad