(* Test that ExtrHaskellString transitively requires ExtrHaskellBasic *)
Require Coq.extraction.ExtrHaskellString.
Import Coq.extraction.ExtrHaskellBasic.