Is there any particular reason why prettyprinter-ansi-terminal redefines its own versions of these types, isomorphic to the ones upstream? I often find myself needing to resolve conflicting imports due to this, especially since the ones from this package are re-exported through pretty-simple.