sanctuary-pair:符合幻想世界的对类型

保护区对 Pair是规范的产品类型： Pair ab的值始终恰好包含两个值： a类型； 类型b 。 Pair ab满足以下“规范： > const Useless = require ( 'sanctuary-useless' ) > const isTypeClass = x => . type ( x ) === 'sanctuary-type-classes/TypeClass@1' > S . map ( k => k + ' ' . repeat ( 16 - k . length ) + . ( Z [ k ] . test ( Pair ( Useless ) ( Useless ) ) ? '\u2705 ' : . Z [ k ] . test ( Pair ( [ 'foo' ] ) ( [ 'bar' ]