> Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ? Just the stdlib `map`, but it's all ordinary library code. You ca

> Is it for built-in map or it would work in a general way for, say, `myMap f (myMap g xs)` ? Just the stdlib `map`, but it's all ordinary library code. You can easily add your own rewrite rules.