I was doing some cleanup in haskell/transformers#115, and realised that there is some disconnect between GHC's Prelude-exported types and MicroHs's.
MicroHs exports Foldable and Traversable but not their methods. It would be useful for the methods to be exported along with the class.
This presents an issue with regards to the foldable methods which share names with a bunch of list monomorphised functions. For the most part this should be fine, but it's worth mentioning.
I was doing some cleanup in haskell/transformers#115, and realised that there is some disconnect between GHC's Prelude-exported types and MicroHs's.
MicroHs exports
FoldableandTraversablebut not their methods. It would be useful for the methods to be exported along with the class.This presents an issue with regards to the foldable methods which share names with a bunch of list monomorphised functions. For the most part this should be fine, but it's worth mentioning.