code: function fromBinaryType(t) {
      return BinaryType (t.name)
                        (t.url)
                        (t.supertypes)
                        (t._test ([]))
                        (t._extractors.$1)
                        (t._extractors.$2);
    }
docs: fromBinaryType :: (Type -> Type -> Type) -> Type -> Type -> Type