Library Stdlib.extraction.ExtrHaskellBasic

From Corelib Require Export ExtrHaskellBasic.