remove foldlStrict, generalize type of unions, see #520 (#524)