export list
a ++ b ++ c  ->  concat [a,b,c]
no catch-all in introduce
change chain and lament special case to maxBound
rewrite