Removes the magic from witch. This provides safe conversions like witch does. But it doesn't use type classes or exceptions. This has a couple of advantages: No need to use type application for function selection. Functions get names that describe what they do. This allows ctags to work as well. No trouble with orphans. Custom errors instead of the prelude based ones allow client code to recover with typesafety even on partial conversions.