# Smash-core: smash products in Hask