curry package:strict-base-types

Curry a function on strict pairs.
Convert a curried function to a function on strict pairs.