snd -package:singletons -package:numhask package:product-profunctors